Eal - T Ime S Oftware Using P Ort - B Ased O Bjects
نویسندگان
چکیده
The Chimera Methodology is a software engineering paradigm that enables rapid development of real-time applications through use of dynamically reconfigurable and reusable software. It is targeted towards a distributed shared memory computing environment. The primary contribution of this research is the port-based object model of a real-time software component. The model is obtained by applying the portautomaton formal computational theory to object-based design. A finite state machine, detailed interface specifications, and a C-language template are used to define the port-based object. Tools to support the integration, scheduling, and state variable communication between the objects have been developed and incorporated into the Chimera Real-Time Operating System. Techniques for verifying correctness and analyzing performance are also provided for configuration managers that integrate software designed using the port-based object model.
منابع مشابه
Web-based remote diagnosis system using virtual slide for routine pathology slides, analysis of discrepancies between virtual and real microscopic diagnosis
Introduction: Together with recent development of digital pathology technology, v irtual slide (VS) p rimary d iagnosis is becoming a r eal issue. On the ot her ha nd, t here a re o bjection or a rgument t o VS primary diagnosis. T o clarify the issues of VS primary diagnosis, we made comparison experiment between virtual and real microscope diagnosis. Methods: To cover the insufficiency of pat...
متن کاملQuasi-Destructive Graph Unification with Structure-Sharing
G r a p h unifi(:ation remains the nlost expensive par t of unificatiou-b~Lsed g r a m m a r l)arsing. We fl)cus on (Hie 81}ee(l-u 1) elelltellt ill the design of llllifieat ion a lgor i thms: avoidance of copying of umao(lifled sul)graph.s. We propose a me thod of a t t a in ing snch a design through a nlethod of s t ruc tn re shar ing which avoids log(d) overheads often associated with s t ru...
متن کاملراه اندازی روش Real-time PCR بر پایهgreen SYBRجهت تعیین اللهای HLA-DQ در بیماران مبتلا به سیلیاک
سابقه و هدف: از عوامل ژنتیکی مهم در ابتلا به بیماری سیلیاک، حضور اللهای HLA-DQ2 و HLA-DQ8 در افراد مبتلا میباشد. روشهای مولکولی زیادی جهت تعیین این اللها در دسترس میباشد اما این روشها علاوه بر هزینه بالا، دارای مراحل متعددی هستند که استفاده از آنها را دشوار کرده است، لذا هدف از این مطالعه، راهاندازی تکنیک ساده و سریع جهت تعیین اللهای HLA-DQ در بیماران مبتلا به سیلیاک با روش SYBR g re...
متن کاملPhysical Nature of the Kuiper Belt
9 I. HISTORY o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o Recent gr und-based bservati ns have unveiled a large number f b dies in rbit bey nd Neptune, in a regi n n w widely kn wn as the Kuiper ( r, less c mm nly, Edgew rth-Kuiper) Belt. Ab ut 10 Kuiper Belt bjects (KBOs...
متن کاملPicosecond Time Difference Measurement System
Recently a t ime d i f fe rence measurement system was developed i n the Frequency & Time Standards Section o f the Nat ional Bureau o f Standards and independently a t the Nat ional Research Council which shows more than three orders of magnitude improvement over that which is cur ren t ly ava i lab le comnerc ia l l y . Cur ren t s ta te -o f the-ar t t ime d i f fe rence measurement devices ...
متن کامل